（来源：上观新闻）
02｜Op💠🇼🇸enClaw💾🇧🇧 是第 44 个🕹 对，44 个🙆。这才是中国👨🦲商业航天下🍞一阶段最该逼问🇹🇹的问题👆： 到⌚底谁手里🇺🇸，真的攥着那张🙁“需求🦔船票”？ 👰谁不是为🐖⏭了证明自己能飞🏜🇭🇷，而是为了证明自🏦己能长期拉货📄？ 谁的🐰箭背后，🙍站着的不是 🔔PPT 里🕸🦔的未来市场🔃，而是真正📱会长期付钱😋的业务👨🎓🇨🇿？ 谁的发动机、💵☺整箭、🕵️♀️👳♀️回收、客户，🇩🇴已经开始出现闭😏环雏形🚢🕕？ 谁又只是把⏺“可回🏋🤸♀️收”当成必须🤭先赢一次的技术🇳🇫🇫🇯公关？ 至少到↖今天，我还没🎯🦎有看到🇦🇪☹中国出🇩🇯现一家真正意义⛽上“像蓝色起🇬🇸源这样，先把🏯⛰需求入口💔咬死，再围🔸着入口去🇮🇸做可回收大🅱🔪火箭”🇧🇭的公司2️⃣。
图丨基于自然语🃏🤧言的代码正确性👿推理示例（来源🇹🇨：arXiv） 👮如上图所示🌱🦞，FM-◻Agen🇮🇲👍t 逐段推理代码🛅执行后的程序状态🧛♂️🤸♂️描述（注释部📱分），即🚧🌖后置条👾👟件，一直推☯🖼理到函数返回，◼🧜♀️检查最终的程序状7️⃣态描述是否违🐀背了规约里对最终❓程序状态的要🇼🇫求🏴☠️🇦🇴。当算力Toke🐡n沦为基🇮🇩础设施，模🧙♂️🐡型Token陷🧸🔢入价格战，唯有⛑“场景To🇲🇷🍼ken”2️⃣能够穿越🖐🔡周期😳😺。
